نموذج تخزين /ادترجاع لتطبيقات الحودبة الذبكية باالرتماد رلى درقة العمل

Σχετικά έγγραφα
( ) ( ) ( ) ( ) v n ( ) ( ) ( ) = 2. 1 فان p. + r بحيث r = 2 M بحيث. n n u M. m بحيث. n n u = u q. 1 un A- تذآير. حسابية خاصية r

)الجزء األول( محتوى الدرس الددراتالمنتظرة

- سلسلة -2. f ( x)= 2+ln x ثم اعط تأويل هندسيا لهاتين النتيجتين. ) 2 ثم استنتج تغيرات الدالة مع محور الفاصيل. ) 0,5

بحيث ان فانه عندما x x 0 < δ لدينا فان

تحسين أنظمة التعرف عمى الكالم عن طريق جمع خوارزميتين الستخالص السمات

( ) ( ) ( ) ( ) ( )( ) z : = 4 = 1+ و C. z z a z b z c B ; A و و B ; A B', A' z B ' i 3

)Decisions under certainty(

( ) [ ] الدوران. M يحول r B و A ABC. 0 2 α فان C ABC ABC. r O α دورانا أو بالرمز. بالدوران r نكتب -* النقطة ' M إلى مثال لتكن أنشي 'A الجواب و 'B

Εμπορική αλληλογραφία Παραγγελία

يط... األعداد المركبة هذه التمارين مقترحة من دورات البكالوريا من 8002 إلى التمرين 0: دورة جوان 8009 الموضوع األول التمرين 8: دورة جوان

1- عرض وتحليل النتائج الفرضية األولى: يبين مقارنة بين األوساط الحسابية واالنح ارفات المعيارية وقيمتي )T(

( D) .( ) ( ) ( ) ( ) ( ) ( ) الا سقاط M ( ) ( ) M على ( D) النقطة تعريف مع المستقيم الموازي للمستقيم على M ملاحظة: إذا آانت على أ- تعريف المستقيم ) (

[ ] [ ] ( ) ( ) ( ) ( ) ( ) I و O B بالنسبة ل AC) ( IO) ( بالنسبة C و S M M 1 -أنشطة: ليكن ABCD معين مرآزه O و I و J منتصفي

دئارلا óï M. R D T V M + Ä i e ö f R Ä g

ی ا ک ل ا ه م ی ل ح ر

- سلسلة -3 ترين : 1 حل التمرين : 1 [ 0,+ [ f ( x)=ln( x+1+ x 2 +2 x) بما يلي : وليكن (C) منحناها في معلم متعامد ممنظم

Ακαδημαϊκός Λόγος Εισαγωγή

أحواض الترسيب األولية

مادة الرياضيات 3AC أهم فقرات الدرس (1 تعريف : نعتبر لدينا. x y إذن

أسئلة استرشادية لنهاية الفصل الدراسي الثاني في مادة الميكانيكا للصف الثاني الثانوي العلمي للعام الدراسي

( ) ( ) ( ) - I أنشطة تمرين 4. و لتكن f تمرين 2 لتكن 1- زوجية دالة لكل تمرين 3 لتكن. g g. = x+ x مصغورة بالعدد 2 على I تذآير و اضافات دالة زوجية

( ) تعريف. الزوج α أنشطة. لتكن ) α ملاحظة خاصية 4 -الصمود ليكن خاصية. تمرين حدد α و β حيث G مرجح

وزارة التربية التوجيه العام للرياضيات العام الدراسي 2011 / 2010 أسئلة متابعة الصف التاسع الكتاب األول

Tronc CS Calcul trigonométrique Cours complet : Cr1A Page : 1/6

األستاذ: بنموسى محمد ثانوية: عمر بن عبد العزيز المستوى: 1 علوم رياضية

ر ک ش ل ن س ح ن د م ح م ب ن ی ز ن. ل و ئ س م ه د ن س ی و ن ( ی ر ک ش ل &

تمرين 1. f و. 2 f x الجواب. ليكن x إذن. 2 2x + 1 لدينا 4 = 1 2 أ - نتمم الجدول. g( x) ليكن إذن

Le travail et l'énergie potentielle.

الجزء الثاني: "جسد المسيح الواحد" "الجسد الواحد )الكنيسة(" = "جماعة المؤمنين".

Vol. 31,No JOURNAL OF CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY Feb

مقدمة: التحليل الخاص باإلنتاج والتكاليف يجيب عن األسئلة المتعلقة باإلنتاج الكميات المنتجة واألرباح وما إلى ذلك.

تمارين توازن جسم خاضع لقوتين الحل

التمرين الثاني )3 2-( نعتبر في المستوى المنسوب إلى معلم متعامد ممنظم التي معادلتها : 3-( بين أن المستوى مماس للفلكة في النقطة.

Test Data Management in Practice

البرنامج هو سلسلة متتالية من التعليمات يمكننا تشبيهها بوصفة إعداد وجبة غذائية, نوتة موسيقية أو

( ) ( ) ( ) = ( 1)( 2)( 3)( 4) ( ) C f. f x = x+ A الا نشطة تمرين 1 تمرين تمرين = f x x x د - تمرين 4. نعتبر f x x x x x تعريف.

ی ن ل ض ا ف ب ی ر غ ن ق و ش ه ی ض ر م ی ) ل و ئ س م ه د ن س ی و ن ( ا ی ن ل ض ا ف ب ی ر غ 1-

X 1, X 2, X 3 0 ½ -1/4 55 X 3 S 3. PDF created with pdffactory Pro trial version

1/ الزوايا: المتت امة المتكاملة المتجاورة

( ) / ( ) ( ) على. لتكن F دالة أصلية للدالة f على. I الدالة الا صلية للدالة f على I والتي تنعدم في I a حيث و G دالة أصلية للدالة حيث F ملاحظات ملاحظات

. Conservation of Energy

واردات السمع ال أرسمالية و النمو االقتصادي في الصين: منهجية.ARDL أمين حواس جامعة عبد الرحمن بن خمدون تيارت ( الج ازئر(

Using Multiple Linear Regression to Study the Factors Influence

1-5 -ميكانيك األجسام الصلبة: 2 -ميكانيك األجسام الصلبة القابلة للتشو ه. 3 -ميكانيك الموائع. سيتم دراسة فقط القسم األول ))ميكانيك األجسام الصلبة((.

١٤ أغسطس ٢٠١٧ العمليات الحسابية الا ساسية مع الا شع ة ٢ ٥

أثر طريقتي التعامل مع القيم املفقودة القدرة على دقة تقدير معامل الفقرات واألفراد

توازن الذخل المومي الفصل الرابع أ. مروه السلمي

أثر محددات كفاية رأس المال على أداء المصارف التجارية السورية المصارف

2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems

وتكوين فريق العمل في تحسين األداء المصرفي د ارسة ميدانية عمى المصارف السورية في مدينة دمشق

ATLAS green. AfWA /AAE

-1 المعادلة x. cosx. x = 2 M. و π. π π. π π. π π. حيث π. cos x = إذن حيث. 5π π π 5π. ] [ 0;π حيث { } { }

قوانين التشكيل 9 الةي ر السام ظزري 11/12/2016 د. أسمهان خضور سنستعمل الرمز (T,E) عوضا عن قولنا إن T قانون تشكيل داخلي يعرف على المجموعة E

( ) ( ) [ [ ( ) ( ) ( ) =sin2xcosx ( ) lim. lim. α; ] x حيث. = x. x x نشاط 3 أ- تعريف لتكن. x نهاية l في x 0 ونرمز لها ب ب- خاصية نهاية على اليمين في

( ) ( ) ( ) ( ) تمرين 03 : أ- أنشيء. ب- أحسب ) x f ( بدلالة. ب- أحسب ) x g ( تعريف : 1 = x. 1 = x = + x 2 = + من x بحيث : لتكن لكل. لكل x من.

ة من ي لأ م و ة بي ال ع ج 2 1

الدور المحوري لسعر الفائدة: يشكل حلقة وصل بين سوقي السلع والنقود حيث يتحدد سعر الفائدة في سوق

* و ازرة التعميم_ المممكة العربية السعودية *** كمية التربية _ جامعة صنعاء

المحاضرة السابعة والثامنة

اختبار مدى استق ارر معامل المخاطرة المنتظمة لألسهم المسجلة في سوق دمشق لألو ارق المالية

Laser Physics. The Einstein Relation. Lecture 5. The Einstein Relation 28/10/1431. Physics Academy

رباعيات األضالع سابعة أساسي. [

() 1. ( t) ( ) U du RC RC dt. t A Be E Ee E e U = E = 12V ن ن = + =A ن 1 RC. τ = RC = ن

و ازرة التعميم العالي و البحث العممي جامعة محمد خيضر _بسكرة_ قسم : العموم االجتماعية شعبة عمم النفس الموضوع

تصحيح تمارين تطبيقات توازن جسم صلب خاضع لقوتين

=fi Í à ÿ ^ = È ã à ÿ ^ = á _ n a f = 2 k ÿ ^ = È v 2 ح حم م د ف ه د ع ب د ا ل ع ز ي ز ا ل ف ر ي ح, ه ف ه ر س ة م ك ت ب ة ا مل ل ك ف ه د ا ل و

Contents مقدمة. iii. vii. xxi

Assalamu `alaikum wr. wb.

المستوى المادة مسلك والكيمياء الفيزياء المو سسة تمارة + + éq 3 éq= xéq. x m. m = CV x. Q r [ RCOOH] RCOOH

Finding the Least Possible Hazards in Cox Regression Model

IPSJ SIG Technical Report Vol.2014-CE-127 No /12/6 CS Activity 1,a) CS Computer Science Activity Activity Actvity Activity Dining Eight-He

أثر القياس واإلفصاح المحاسبي عن أرس المال الفكري عمى تحسين جودة المعمومات المحاسبية )د ارسة ميدانية عمى بورصة فمسطين قطاع الخدمات( الممخص

با نها خماسية حيث: Q q الدخل. (Finite Automaton)

مستويات الطاقة واحتمالية االنتقاالت الكهربائية رباعية القطب وطاقة جهد السطح في التناظر الديناميكي (5)U

Study of urban housing development projects: The general planning of Alexandria City

التفسير الهندسي للمشتقة

الوحدة األولى البناء الرياضي ليندسة إقميدس

وسارة الرتبية التوجيه الفني العام للعلوم رئيس قسى

ΕΘΝΙΚΗ ΣΧΟΛΗ ΔΗΜΟΣΙΑΣ ΔΙΟΙΚΗΣΗΣ ΙΓ' ΕΚΠΑΙΔΕΥΤΙΚΗ ΣΕΙΡΑ

du R d uc L dt إذن: u L duc d u dt dt d q q o O 2 tc

Schedulability Analysis Algorithm for Timing Constraint Workflow Models

أثر النمو االقتصادي على البطالة يف االقتصاد األردني خالل الفرتة) (

مبادئ أساسية في الفيزياء الذرية والفيزياء النووية Fundamental principles in the atomic physics, and the nuclear physics

مثال: إذا كان لديك الجدول التالي والذي يوضح ثلاث منحنيات سواء مختلفة من سلعتين X و Yوالتي تعطي المستهلك نفس القدر من الا شباع

أوال: أكمل ما لى : 1 القطعة المستق مة التى طرفاها مركز الدائرة وأى نقطة على الدائرة تسمى... 2 القطعة المستق مة التى طرفاها أى نقطت ن على الدائرة

Development of the Nursing Program for Rehabilitation of Woman Diagnosed with Breast Cancer

استثمار تسجيلات لحساب السرعة اللحظية. التعبير عن الحركة المستقيمية المنتظمة بمعادلة زمنية في شروط بدي ية مختلفة.

ت خ ی م آ ر ص ا ن ع ز ا ن ا گ د ن ن ک د ی د ز ا ب ی د ن م ت ی ا ض ر ی س ر ر ب د

د ارسة عالقة جنس المريض مع سماكة النسج الرخوة لمذقن ونوع دو ارن الفك السفمي

********************************************************************************** A B

AR_2001_CoverARABIC=MAC.qxd :46 Uhr Seite 2 PhotoDisc :έϯμϟ έϊμϣ ΔϟΎϛϮϟ ˬϲϠϨϴϛ. : Ω έύδθϟ ϰϡϋ ΔΜϟΎΜϟ ΓέϮμϟ

ER-Tree (Extended R*-Tree)

Dipôle RL. u L (V) Allal mahdade Page 1

أثر استخدام استراتيجية التعلم التعاوني في تنمية مهارات التفكير الناقد لدى طلبة الصف العاشر في مبحث الجغرافيا بمحافظة شمال غزة

GPGPU. Grover. On Large Scale Simulation of Grover s Algorithm by Using GPGPU

مقدمة: في هذا الفصل سنفترض سيادة المنافسة الكاملة وبالتالي فإن سلوك المنشأة في ظل هذا االفتراض سيتبع خصائص المنافسة الكاملة.

Gabor إ ازلة الضجيج من هذه الصور وزيادة تباينها. في المرحلة الثانية تم تطبيق تقانة قطع الرسم البياني Graph-cut من

تقريب الدوال العقدية من فضاء ليبيغ الموزن( V L p,γ) على منحنيات كارلسون

أي أن [ ] [ ] محمول لحمض االيثانويك تركيزه بشوارد الييدرونيوم - االكسونيوم ] [ لممحمولين وماذا تستنتج مالحظات : عند.

التمرين األول: )80 نقاط( - 1 أ- إيجاد الصيغ نصف المفصلة للمركبات:. M 1 D C B A 3,75 B: CH 3 CH 2 CH 3 C CH 3 A: CH 3. C: CH 3 CH CH 3 Cl CH CH CH 3

Transcript:

نموذج تخزين /ادترجاع لتطبيقات الحودبة الذبكية باالرتماد رلى درقة العمل رىف غ ازل و سمير جعفر العموم كمية - قسم جامعة الرياضيات دمشق الممخص يندرج البحث في مجال التسامح مع األعطال في البيئات التفرعية الحوسبة الشبكية )grid( وعناقيد الحواسيب )cluster( بيدف إيجاد أفضل الواسعة مثل الطرق لمتعامل مع األخطاء المتعمقة بتعطل أحد األجيزة الموجودة في البيئة أو الناتجة عن انقطاع شبكة االتصال وذلك ضمن ىذه البيئة في ظل وجود األعطال. قمنا في البحث بد ارسة لضمان استم اررية عمل التطبيقات المتوازية المنفذة لنموذج البيئة التفرعية ضمنو ثم قدمنا آلية تخزين/ استرجاع تمكننا ظيور أي عطل المعتمد والتطبيقات المنفذة المتوازية من ضمان استمر ارية التطبيق في حال باستخدام التمثيل المجرد لحالة التطبيق عمى المعالجات والمتمثل بمخطط تدفق البيانات dataflow( )macro سرقة العمل تفرعية واسعة )work stealing( غير متجانسة وديناميكية لتوزيع الميام وذلك المتوازي نتيجة حفظ جزء من العمل خالل التنفيذ لمتطبيقات التي بين المعالجات تستخدم خوارزمية وت نفذ في بيئات بكمفة بسيطة مضافة لكمفة الطبيعي ( التنفيذ fault-free ) execution ليذه اآللية المقترحة. باإلضافة إلى تقديم نموذج رياضي لحساب التعقيد الزمني)الكمفة( الكممات المفتاحية : الحوسبة الشبكية مخطط تدفق البيانات سرقة العمل التسامح مع األعطال نقطة تحقق البرمجة المتوازية.

A checkpoint/recovery Model based on work stealing for grid applications Rahaf Ghazal, Samir Jafar Department of Mathematics - Faculty of Science Damascus University Abstract The study is researching the fault tolerance in the large distributed environments such as grid computing and clusters of computers in order to find the most effective ways to deal with the errors associated with the crash one of the devices in the environment or network disconnection to ensure the continuity of the application in the presence of the faults. In this paper we study a model of the distributed environment and the parallel applications within it. Then we provide a checkpoint mechanism that will enable us to ensure continuity of the work used by a virtual representation of the application (macro dataflow) and suitable for the applications which uses work stealing algorithm to distribute the tasks which are implemented in heterogeneous and dynamic environment. This mechanism will add a simple cost to the cost of parallel execution as a result of keeping part of the work during faultfree execution. The study also provides a mathematical model to calculate the time complexity i.e. the cost of this proposed mechanism. Key words : grid computing, macro data flow, work stealing, fault tolerance, checkpointing, parallel programming. 2

المقدمة : ظيرت تقنية الحوسبة الشبكية )grid( لمحسابات المتوازية كأداة فعالة لحل المسائل الكثيفة التي تحتاج إلى وقت حساب طويل ضمن حاسوب تقميدي واحد حيث تعد بيئة الحوسبة الشبكية بشكميا العام عبارة عن تشارك مجموعة من األنظمة الحوسبية المختمفة التي تتصل مع بعضيا البعض عن طريق شبكة اتصال واسعة ييدف ىذا الربط إلى حل التطبيقات والمسائل الحسابية المعقدة بشكل أسرع حيث نسمح ألكثر من معالج أن يشارك في الحل من موقعو الخاص ونستفيد من الموارد والخدمات التي يوفرىا كل منيم من أماكن تخزينية وقد ارت معالجة دون تحم ل عبء استخدام حواسيب عمالقة لحل تمك التطبيقات تتصف بأنيا بيئة حسابية موزعة وديناميكية وذات مكونات غير متجانسة وتتصل فيما بينيا عن طريق تبادل الرسائل. [8] )messages passing) ارفق ىذه البنى ظيور األعطال الكثيرة المتعمقة بمكوناتيا سواء أعطال العقد )المعالجات( أو أعطال الشبكة )انقطاع االتصال( وبالتالي فإن الخدمات المقدمة من قبل المستخدمين في التطبيق قد تفشل وال يستطيع التطبيق أن يتم عممو بشكل ناجح [6],[7] فتم اقت ارح آليات نزود بيا نظام الحوسبة الشبكية بحيث تصبح مكوناتو قادرة عمى التعامل مع ىذه األحداث وذلك دون تحميميا عبء عمى األداء أو زيادة كبيرة في وقت تنفيذ التطبيق المتوازي فتم دمج مفيومي : تحديد العطل واعادة تشغيل التطبيق "recovery" ضمن مفيوم التسامح مع األعطال " fault "tolerance من أجل التطبيقات المتوازية [1],[2] وىنا اتجيت الد ارسات إليجاد أفضل الخوارزميات حتى تكون عممية االستعادة فعالة وي ستفاد منيا في تجاوز مرحمة الفشل بكمفة خسارة مقبولة..1 هدف البحث: ييدف العمل إلى إيجاد آلية جديدة فعالة لمتسامح مع األعطال ضمن بيئة حسابية موزعة ذات مكونات غير متجانسة وديناميكية لمتطبيقات المتوازية كما في بيئة الحوسبة الشبكية computing( ) grid وعناقيد الحواسيب cluster( )computer حيث سي ستخدم مبدأ سرقة العمل لتوزيع الميام بين المعالجات ومخطط تدفق.2 3

البيانات flow( )macro data لتمثيل حالة تنفيذ التطبيق بشكل مجرد عمم ا أن الميام غير مستقمة )مرتبطة( سعيا ألن تكون كمفة التخزين خالل التنفيذ الطبيعي أقل ما يمكن )تسعى إلى الصفر( وفي حال وجود حدث استثنائي خالل العمل - حدوث عطل ما - سنكون عمى استعداد لتحمل كمفة الخسارة الناتجة عمى أن تكون محدودة لضمان استم ارر عمل التطبيق وذلك بفرض أن عدد األعطال خالل فترة التنفيذ قميمة جدا بالنسبة لعدد المعالجات المشاركة. مواد وطرق البحث : شكمت البيئات التفرعية الواسعة مثل ال grid تحديا لدى الباحثين من أجل المحافظة عمى موثوقيتيا وجودة عمل التطبيقات ضمنيا مع زيادة عدد المكونات المشاركة والتي يمكن ان تتعطل وبذلك ظيرت آليات التسامح مع األعطال ( fault ) tolerance وىي عبارة عن مجموعة من التعميمات التي يتم تزويد مكونات الشبكة بيا لمتعامل مع األعطال المختمفة في حال ظيورىا. بيئة التنفيذ المتوازية المعتمدة ىي KAAPI وىي اختصار ل Interface( )Kernel for Adaptive Asynchronous Parallel [5] تتألف من ثالث مستويات مستوى التطبيق ومستوى البيئة الموزعة المادية وبينيما مستوى وسيطي نطبق ضمنو خوارزميات الجدولة وخوارزميات التسامح مع األعطال وأيضا نمثل فيو التطبيق باستخدام بنية افت ارضية مجردة ىي مخطط تدفق البيانات.)Macro Data Flow( سبب اختيار ما يسمى الطبقة الوسيطية ىو إمكانية إيجاد خوارزميات ت طبق بشكل مستقل عن نوع المسألة الم ارد حميا ضمن البيئة وعن نوع وطبيعة األجيزة المشاركة في الحل وشفافة بالنسبة لممستخدم )transparency(. ينفذ التطبيق بأكممو عمى p معالج فيزيائي) processor ( وكل من ىذه المعالجات الفيزيائية يتكون من عدة معالجات خفيفة processes( ) وىذه األخيرة لدييا عدة مسالك )threads( ويتم تنفيذ العمميات عمييا بشكل تسمسمي..3 4

التطبيق )المسألة( ] يأ تغير عمى التطبيق يظير في مخطط التدفق] النموذج :تمثيل مجرد للتطبيق "مخطط تدفق البيانات" الطبقة الوس ط ة الخوارزميات : الجدولة وبروتوكوالت التسامح مع األعطال البنية الموزعة )المعالجات( الشكل 1: المخطط العام لمنموذج البرمجي لمتطبيق المتوازي في ال KAAPI مخطط تدفق البيانات flow( :[5])macro data يعتبر تمثيل مجرد لمتطبيق المتوازي بصيغة محمولة )portable( وىو بيان موجو )Σ, )= حيث مجموعة منتيية من الرؤوس وتمثل الميام )tasks( الحسابية باإلضافة لممعطيات المشتركة بين المعالجات data( )shared و Σ مجموعة األضالع وتمثل التبعية بين الميام ويتميز ىذا المخطط بأنو ديناميكي أي أنو ينشأ ويتغير أثناء التنفيذ تبعا لتشكل ميام جديدة أو حذف أخرى منتيية وفيما يمي سنعرض الحاالت التي تمر بيا أي ميمة في مخطط التدفق : تنفيذ جهوزية إنشاء حذف انتهاء سرقة الشكل : 2 دورة حياة المهمة في مخطط تدفق البيانات سرقة العمل stealing( )work [4]: ىي خوارزمية جدولة تقوم بتوزيع عبء العمل عمى المعالجات أثناء التنفيذ ومبدؤىا يقوم عمى أن أي معالج خفيف (process) خامل )idle( يستطيع سرقة ميمة جاىزة من معالج خفيف آخر نطمق عميو اسم 5

الضحية (victim) ينشئ المعالج السارق ميمة السرقة 1 يجد الضحية ميمة جاىزة ونطمق عمى األول اسم السارق قمة في )thief( حيث أنو وعند السرقة التي ترسل طمب السرقة إلى الضحية وعندما مكدسو مثل الميمة بسرقتيا وعندما ينتيي السارق من تنفيذىا فإنو ينشأ الميمة فإنو عن إعادة النتيجة إلى الضحية كما ىو موضح في المخطط التالي: يسمح لمسارق التي تكون مسؤولة Process 1 Process 2 Process i مكدس المهام مكدس المهام مكدس المهام سرقة مهمة من المعالج 2 الشكل : 3 نموذج المعالج )processor( في بيئة ال KAAPI وإظهار عملية السرقة بين المعالجات الخفيفة آلية التسامح مع األعطال المقترحة : تعتمد اآللية عمى تخزين جزء من معمومات التطبيق خالل التنفيذ الطبيعي ومن ثم استرجاعيا الحقا في حال وقوع عطل ما ألحد المكونات كما يمي: : ) checkpointing ( مرحمة التخزين.i ويتم فييا حفظ الميام المسروقة ونتائجيا خالل التنفيذ الطبيعي باستخدام رتل سرقة queue( )steal وتسجيل حالة التطبيق المنفذة عمى المعالج الرئيسي باستخدام نقاط تحقق دورية كما ىو مبين فيما يمي:.4 1 تكون المهمة جاهزة عندما تتوفر جم ع مدخالتها. 6

وأما ال رتل سرقة queue( )steal ويستخدم لتسجيل التبعية بين المعالجات الخفيفة فعند حدوث سرقة بين معالجين ننشئ رتل سرقة لمسارق ونخزن ىذا الرتل ضمن ذاكرة مستقرة memory(.)stable جدول النتائج العام table( )global result نحفظ فيو الميمة المسروقة ويكون موجود لدى كل المعالجات المشاركة حيث ت حدث معموماتو أثناء التنفيذ وتذاع عمى المعالجات باستخدام أسموب broadcast نستخدمو لحفظ نتائج األعمال األيتام بعد العطل )الخطأ(. أما المعالج الرئيسي )master( فإننا نجعمو يأخذ نقاط تحقق محمية دورية ( local )periodically checkpoint لحفظ حالة التطبيق المنفذة عميو ضمن ذاكرة مستقرة بدور نرمز لو ب 2. يقوم أي معالج سارق بإنشاء رتل سرقة خاص بو يحفظ ضمنو الميام التي سرقيا من معالجات أخرى بالشكل التالي: (id of task, id of victim, parameter1,parameter2,,parameterm, result) " تعبر الوسطاء عن مجموعة مدخالت الميمة ". نتائج الميام األيتام فت سج ل في جدول النتائج العام بالشكل التالي : )id of task, id of process, result(.ii مرحمة االسترجاع ( recovery ) : عند تعطل معالج ما المعالجات ونميز حالتين: )a وانقطاعو عن الشبكة لسبب ما المعالج المعطل ىو معالج عادي : يحل محل المعالج المعطل 3 المعطل بديل معالج فيقوم بالبحث ضمن رتل السرقة المخز ن لكي يتم يا فإن لم يجد ي عامل المعالجات األخرى. يتم تعميم العطل عمى جميع يحمل نفس المعرف الخاص بالمعالج عن ميام مسروقة وغير مكتممة كأنو عقدة جديدة ويحاول سرقة ميمة جاىزة من أحد 2 3 نختار هذا الدور بح ث ساوي الوقت األعظم لتنف ذ مهمة ما. ف حال عودة المعالج المعطل إلى العمل فإنه ستط ع أن شارك بالحل ولكن بمعرف جد د. 7

أما المعالج الذي يجد ضمن رتل سرقتو 4 ) orphan task( فإنو يتوقف ميمة قد سرقيا من المعالج المعطل عن إتماميا ويذيع النتائج الجزئية أو الكمية إلى جميع المعالجات الحية )live( وت حفظ ضمن جدول النتائج العام الموجود لدى جميع المعالجات )b لي عاد استخداميا في وقت الحق عند االسترجاع عندىا السارق خامل ويحاول سرقة ميمة جاىزة جديدة من معالج آخر. المعالج المعطل ىو المعالج الرئيسي : في حال كان المعالج المعطل التطبيق عمى تنفيذ المعالج المعطل. معالج ىو المعالج الرئيسي رئيسي بديل يصبح فإن االسترجاع يتمثل المعالج بمتابعة باالستعانة بآخر نقطة تحقق محفوظة لذلك مثال توضيحي : نعرض فيما يمي مثاال عن تطبيق ما ي نفذ بشكل متوازي و ممث ل باستخدام مخطط البيانات تدفق نناقش فيو كل من مرحمتي التخزين واالسترجاع في حال أثناء التنفيذ كما يمي: حدث خطأ.5 4 المهمة ال ت مة ه المهمة المسروقة من معالج معط ل. 8

a 1 10 5 a 5 a 11 2 مهمة معطيات مشتركة shared data معطيات data a 6 6 A a 2 3 a 7 7 B 11 D 1 a 3 a 8 Process2 8 a 12 12 a 4 a 13 16 13 4 14 a 9 a 17 9 17 E a 15 15 C Process3 الشكل : 4 مثال عن مخطط تدفق بيانات macro data flow خالل التنفيذ الطبيعي free fault execution يعرض لنا الشكل 4 حالة تنفيذ تطبيق ما عمى أربعة معالجات وعمميات السرقة التي تحدث في لحظة ما أثناء التنفيذ عندىا وفقا لمخوارزمية المقترحة تتشكل أرتال السرقة الخاصة بكل معالج سارق وت حفظ في ذاكرة مستقرة مثال نعبر عن رتل السرقة الخاص بالمعالج 2 كما ىو موضح في الجدول 1 : Id of task Id of victim Parameter1 Parameter2 Result 3 0 11 1 B D الجدول : 1 رتل السرقة الخاص ب process2 9

2 بالطريقة : أو ممكن أن نعبر عن رتل السرقة المتعمق بالمعالج Id of victim Parameter1 Parameter2 Id of task result )3,0,a 3,-,-) (11,1,a 11,B,D) الجدول : 2 رتل السرقة الخاص ب process2 "حيث ال 0 تشير إلى رقم المعالج الرئيسي". لبيان مرحمة االسترجاع عند ظيور خطأ ما نعرض المخطط التالي: a 1 5 a 5 2 a 2 1 a 4 a 6 a 9 6 9 4 a 15 10 A 14 15 broadcast C Broadcast by global result table ( 17, 3, E ) idle Process3 الشكل : 5 تعطل المعالج الخفيف 2 )crash of process2( 10

في حالة تعطل المعالج process2 في لحظة ما أثناء التنفيذ يعمم الخطأ عمى جميع المعالجات وتتم عممية إذاعة النتائج الجزئية )نتائج الميام األيتام( التي توصل إلييا المعالج process3 ضمن جدول النتائج العام عمى جميع المعالجات الحية )live( فيكون الجدول كما يمي: Id of task Id of process 3 Result E الجدول : 3 جدول النتائج العام 17 ستقوم خوارزمية االسترجاع بإعادة تشكيل مخطط تدفق البيانات الجزئي الخاص بالمعالج المعط ل من خالل حيث يبدأ عممو األخير ق ارءة المعالج المعطل القديم )process2( أما الميمة تنفيذىا المسروقة نتيجتيا إلى المعالج األب عمى المعالج المعطل القديم رتل السرقة المخز ن )new process2( قد سرقيا بإعادة تنفيذ حتى يكمل الميمة من المعالج الرئيسي المعالج البديل 3 11 التي ح فظت )process1( ماعدا process2 معمومات متعمقة بيا من وسطاء أو نتائج إلعادة التنفيذ ن ف ذت عمى المعالج 2 نتيجتيا فال يعاد تنفيذىا التي كان فيتابع البديل وترسل ذلك فإن جميع الميام التي ن فذت قبل العطل سي عاد إنشاؤىا لعدم حفظ أي مع التأكيد إلى أنو ال يوجد أي ضمان بنفس األسموب الذي كان قبل العطل أي ممكن لمميام التي كانت قد من معالجات أخرى لت نفذ عمييا. أما ال المعالج process3 قبل العطل أن ي عاد تنفيذىا عمى بعد إذاعة نتائجو خامل فيصبح المعالج البديل الموجودة لديو في رتل سرقتو ويحاول سرقة ميمة جاىزة من معالج أن ت سرق أو ويتم حذف المعمومات في ىذه ما الحالة ممكن أن يعود المعالج process3 لسرقة الميمة 13 أو ممكن أن ت نفذ عمى new process2 دون سرقتيا حيث يقوم process3 بسرقة ميمة أخرى وفي كال الحالتين يتم الحصول عمى نتيجة الميمة 13 الجزئية والتي تتمثل بنتيجة الميمة 11 المذاعة في جدول النتائج. 11

a 1 1 5 a 5 2 a 6 6 a 2 3 a 3 a 8 a 4 4 a 9 9 10 a 11 A a 7 7 8 a 12 a 13 14 a 15 15 B 12 13 C 11?? D new Process2 الشكل : 6 إعادة بناء مخطط تدفق البيانات الجزئي للمعالج الفاشل process2 تحميل كمفة البروتوكول )اآللية( : بداية لد ارسة الكمفة نعرف بعض المتغي ارت المتعمقة بالتنفيذ المتوازي كما يمي: ىو الزمن الوسطي لتخزين ميمة ما عمى ذاكرة مستقرة. ىو العدد األعظمي لمميام المسروقة عمى معالج ما. يعبر عن زمن تنفيذ الخوارزمية المتوازية عمى عدد غير محدود من المعالجات بمعنى آخر زمن تنفيذ الجزء التسمسمي من البرنامج )المسار الحرج(. زمن تنفيذ الخوارزمية التسمسمية عمى معالج واحد وىي تمثل كمفة طريقة الحساب التي يستخدميا التطبيق دون أي كمفة إضافية مرتبطة بالتوازي..6 12

زمن تنفيذ الخوارزمية المتوازية عمى p معالج فيزيائي. زمن تنفيذ الخوارزمية المتوازية عمى معالج واحد حيث مضروبا بكمفة التنفيذ المتوازي الممثل بكمفة تقسيم الميام )جدولتيا(. = x أي: وبالتالي يمكن تنفيذ العمل المتوازي لتنفيذ الجدولة بوقت متوقع ىو [3]: فإذا عرفنا معالج p عمى كمفة المسار الحرج بأنو ثابت صغير يتألف من قيمة باستخدام خوارزمية سرقة العمل = /p+ O( ) بالشكل : واألكثر من فستصبح المعادلة السابقة /p+ ذلك فإن نظرية الركود المتوازي parallel slackness ( /p >> ) assumption [3] تنص عمى : /p وبالتالي : في ىذا البحث سوف نيتم بالتطبيقات القابمة لمتوزيع أكثر ما يمكن أي فييا. >> التي يكون.i من مي ازت التحميل خالل التنفيذ الطبيعي : ىذا البروتوكول بأنو وعند التنفيذ الطبيعي فال يوجد كمفة إضافية كبيرة لمحفظ حيث يتم حفظ الميام المسروقة فقط ضمن ذاكرة مستقرة الكمفة بالدالة و. ( ) = x باالعتماد عمى مبدأ العمل أو ال عدد السرقات وزمن تنفيذ المسار عدد السرقات صغير ومحدود بال 5 )work first principle( الحرج بالشكل : = O( ). تتحدد ىذه إذا تتحدد العالقة بين أي أن 5 ينص عمى جعل كمفة جميع االتصاالت الناتجة عن الجدولة محدودة بزمن تنفيذ المسار الحرج [3]. 13

فإذا كان ' يشير إلى التنفيذ المتوازي ضمن بيئة ال KAAPI عمى p معالج وذلك باستخدام البروتوكول المقترح فإن : ' = + cost of protocol (COP) حيث )COP( ىي كمفة البروتوكول المقترح المضافة عمى البرنامج ومنو: ' +( x ) وبالتالي من العالقة السابقة نستنتج أن الكمفة المضافة إلى زمن التنفيذ المتوازي باستخدام آلية التخزين المقترحة تكون محدودة بعدد وأن الميام المسروقة في التطبيق مضروبا بزمن وصول الميمة الواحدة إلى الذاكرة المستقرة )أكبر زمن ممكن( وكما فرضنا سابقا فإن عدد السرقات محدود بزمن تنفيذ المسار الحرج ( ) >> بالتالي فإن الكمفة المضافة صغيرة جدا ويمكن أن نكتب في التطبيق. '.ii التحميل عند حدوث عطل : عند تعطل المعالج الرئيسي : عند تعطمو في لحظة ما أثناء )تبعا الختيار ) وبالتالي الالزم لتنفيذ ميمة واحدة والذي يكون محدود ب التنفيذ فإننا سنخسر عمى األكثر ميمة واحدة الزمن األعظمي لمرحمة االسترجاع يتعمق بالزمن. ال عند تعطل معالج عادي: فإن ( خوارزمية تدفق البيانات الجزئي وجدول النتائج العام. 6 االسترجاع لممعالج المعطل تنص عمى الخاص بالمعالج المعطل وبالتالي فإن كمية الميام التي سي عاد تنفيذىا ستكون بناء مخطط إعادة باستخدام رتل السرقة عمى األكثر تساوي أي في أسوء الحاالت فإن المعالج سيكون قد سرق ميمة واحدة فقط وبالتالي عند االسترجاع سيعيد تنفيذ جميع ميامو عدا الميمة المسروقة المنتيية وبالتالي الزمن األعظمي الالزم لتنفيذ تمك الميام ( نرمز لو ب ) يتعمق بقدرة البيان الجزئي أي: ) تمثل العدد األعظمي لمميام المنفذة عمى معالج ما. 6 14

7. الخاتمة والعمل المستقبمي: قدمنا في ىذا البحث د ارسة لمفيوم التسامح مع األعطال توصمنا من خالليا إلى بروتوكول جديد لمتسامح مع األعطال لمتطبيقات المتوازية المنفذة ضمن بيئات تفرعية واسعة وذلك باالستفادة من التمثيل المجرد لمتطبيق )مخطط تدفق البيانات( حيث يقوم البروتوكول عمى أساس حفظ الميام المسروقة خالل التنفيذ الطبيعي السترجاعيا في وقت الحق وبالتالي تكون الكمفة المضافة إلى التنفيذ المتوازي محدودة بعدد الميام المسروقة في التطبيق وىو عدد محدود بزمن تنفيذ المسار الحرج في التطبيق بالمقابل فإن الخسارة لممعمومات غير المحفوظة عند حدوث عطل ما لن تكون كارثية تؤدي إلى توقف التطبيق وستكون محدودة بالعدد األعظمي لمميام التي يمكن تنفيذىا عمى معالج ما. وىنا ممكن أن تتجو الد ارسة إلى البحث في إجابة السؤال التالي : ىل من المفيد زيادة كمفة التخزين مقابل خسارة أقل في الحساب عند وجود خطأ ما ومن ىذا المنطمق فإن بروتوكول التسامح مع األعطال المعتمد سيرجع إلى نوع التطبيق ومتطمبات المستخدم. 15

8. المراجع: 1. AVIZIENIS A, LAPRIE JC, and RANDALL B,2001,Fundamental Concepts of Dependability, in University of Newcastle upon Tyne, Computing Science. 2. BALA A, CHANA I, 2012, Fault tolerance-challenges, techniques and implementation in cloud computing,in IJCSI International Journal of Computer Science Issues, Vol. 9, Issue 1, No 1. 3. FRIGO M, LEISERSON CE, and RANDALL KH, 1998,The implementation of the Cilk-5 multithreaded language, in Proc. ACM SIGPLAN conference on Programming language design and implementation, Pages 212-223. 4. JAFAR S, KRINGS A, GAUTIER T, and ROCH JL, 2005, Theft-Induced Checkpointing for Reconfigurable Dataflow Applications,in Proceedings of the IEEE Electro/Information Technology Conference. 5. JAFAR S, KRINGS A,and GAUTIER T, 2009,Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing, in IEEE trans. Dependable sec. comput. 6(1),,pages:32-44. 6. KAUR I, SINGH S, 2014, Detection of Crash Transient Failure during Job Scheduling using Replication Technique, in IJECS International Journal Of Engineering And Computer Science, Vol. 03 Issue 07 Pages 6904-6908. 7. NEOCLEOUS K, DIKAIAKOS MD, 2006, Grid Reliability: A Study of failures on the EGEE Infrastructure, in Proceeding of the CoreGRID Integration Workshop, pages : 165-176. 16

8. PALMIERI F, PARDI S, 2010, Towards a federated Metropolitan Area Grid environment: The SCoPE networkaware infrastructure, in Future Generation Computer Systems Vol. 26, Issue 8, Pages: 1241 1256. 17

18